Views from the spa

From SPA models to programs

Stochastic process algebra models allow desired performance characteristics to be assessed during the design of complex software systems. We present a software development method which aims to ensure that these performance characteristics are attained by an implementation. At the heart of the development method is a translation from a process algebra model into a program skeleton.

Views from the past.

We are anxious to trace nurses who were registered with the British Nursing Association in the period following the end of the Second World War, and [Illegible Word] may have been with us through the 1950s and early 1960s.

Views from the past.

1 Lababidi Z, Wu JR. Percutaneous balloon pulmonary valvuloplasty. Am J Cardiol 1983;52.560-5. 2 Cujec B, McMeekin J, Lopez J. Bacterial endocarditis after percutaneous aortic valvuloplasty. Am Heart J 1988; 115:178-9. 3 Johnson DH, Rosenthal A, Nadas AS. A forty year review of bacterial endocarditis in infancy and childhood. Circulation 1975;51:581-90. 4 Garrison PK, Freedman LR. Experimental ...

the effect of traffic density on the accident externality from driving the case study of tehran

در این پژوهش به بررسی اثر افزایش ترافیک بر روی تعداد تصادفات پرداخته شده است. به این منظور 30 تقاطع در شهر تهران بطور تصادفی انتخاب گردید و تعداد تصادفات ماهیانه در این تقاطعات در طول سالهای 89-90 از سازمان کنترل ترافیک شهر تهران استخراج گردید و با استفاده از مدل داده های تابلویی و نرم افزار eviews مدل خطی و درجه دوم تخمین زده شد و در نهایت این نتیجه حاصل شد که تقاطعات پر ترافیک تر تعداد تصادفا...

Spa e - Time Blo k Codes versus Spa e - Time